00100	CONCEPTS DEFINED RELATIVE TO A THEORY
00200	
00300	
00400		Our idea is that the philosophical difficulties in explicating
00500	certain concepts, especially counterfactuals and concepts involving
00600	counterfactuals, arise from the fact that the concept cannot be
00700	defined in terms of the world itself, but only in terms of a theory.
00800	In spite of this, the concepts can be quite useful.  We shall
00900	illustrate this with an example described in terms of automata.
01000	
01100		Let %2A%1 be a discrete automaton perhaps indeterminate.
01200	Suppose that %2A%1 has a very large number of states say 2↑10↑25
01300	as is reasonable for a human.  We are interested in how this
01400	automaton changes with time, but we are not interested in the
01500	exact state which is unobservable, but only in certain functions
01600	of the state.  Some of hese are observable, but we are not afraid
01700	to be interested in some unobservable functions provided there
01800	is good evidence for them.  Let us lump these functions together
01900	by forming a vector to get a single function %2f(s)%1 where %2s%1
02000	denotes the state of %2A%1.  We can consider the values of %2s'%1
02100	to be the states of a new automaton %2A'%1 which will usually
02200	be highly indeterminate.  Namely,